English Computing Dictionary
▪ second level cache
▪ second normal form
▪ second-order lambda-calculus
▪ second-system effect
▪ secondary cache
◊ SECOND-ORDER LAMBDA-CALCULUS
Second-Order Lambda-calculus
(SOL) A {typed lambda-calculus}.
["Abstract Types have Existential Type", J. Mitchell et al,
12th POPL, ACM 1985, pp. 37-51].
(1995-07-29)
second level cache
second normal form
second-order lambda-calculus
second-system effect
secondary cache
Copyright © 2022 NeoDict.Com. All rights reserved. Email:
mailto:
[email protected]